
#include <driver.h>

/* 2011-05-11 : add by chenggang */
void board_init(void)
{
    clk_init(2);			//for simulator debug
    //timer_init();
}
